<?php
	class Fact {
		private static $idCounter = 1;
		private $objectId = null;
		
		function getObjectId() {
			if ($this->objectId == null)
				$this->objectId = self::$idCounter++;
			return $this->objectId;
		}
	}
 ?>